// 交叉类型和通用交叉法
type o1 = {a:string; b: number}
type o2 = {c:number; d: string}
type o3 = o1 & o2

let o4:o3={a:'abc',b:1,c:1,d:'123'}

type S=string[] & string // 代表并集
type s2= string & number // 没有并集就是never
export {}